Optimal. Leaf size=263 \[ \frac{\left (-\frac{-2 a c+b^2+b c}{\sqrt{b^2-4 a c}}+b+c\right ) \tan ^{-1}\left (\frac{x \sqrt{-\sqrt{b^2-4 a c}+b+2 c}}{\sqrt{1-x^2} \sqrt{b-\sqrt{b^2-4 a c}}}\right )}{c \sqrt{b-\sqrt{b^2-4 a c}} \sqrt{-\sqrt{b^2-4 a c}+b+2 c}}+\frac{\left (\frac{-2 a c+b^2+b c}{\sqrt{b^2-4 a c}}+b+c\right ) \tan ^{-1}\left (\frac{x \sqrt{\sqrt{b^2-4 a c}+b+2 c}}{\sqrt{1-x^2} \sqrt{\sqrt{b^2-4 a c}+b}}\right )}{c \sqrt{\sqrt{b^2-4 a c}+b} \sqrt{\sqrt{b^2-4 a c}+b+2 c}}-\frac{\sin ^{-1}(x)}{c} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 2.13482, antiderivative size = 263, normalized size of antiderivative = 1., number of steps used = 8, number of rules used = 5, integrand size = 29, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.172, Rules used = {1293, 216, 1692, 377, 205} \[ \frac{\left (-\frac{-2 a c+b^2+b c}{\sqrt{b^2-4 a c}}+b+c\right ) \tan ^{-1}\left (\frac{x \sqrt{-\sqrt{b^2-4 a c}+b+2 c}}{\sqrt{1-x^2} \sqrt{b-\sqrt{b^2-4 a c}}}\right )}{c \sqrt{b-\sqrt{b^2-4 a c}} \sqrt{-\sqrt{b^2-4 a c}+b+2 c}}+\frac{\left (\frac{-2 a c+b^2+b c}{\sqrt{b^2-4 a c}}+b+c\right ) \tan ^{-1}\left (\frac{x \sqrt{\sqrt{b^2-4 a c}+b+2 c}}{\sqrt{1-x^2} \sqrt{\sqrt{b^2-4 a c}+b}}\right )}{c \sqrt{\sqrt{b^2-4 a c}+b} \sqrt{\sqrt{b^2-4 a c}+b+2 c}}-\frac{\sin ^{-1}(x)}{c} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 1293
Rule 216
Rule 1692
Rule 377
Rule 205
Rubi steps
\begin{align*} \int \frac{x^2 \sqrt{1-x^2}}{a+b x^2+c x^4} \, dx &=-\frac{\int \frac{1}{\sqrt{1-x^2}} \, dx}{c}-\frac{\int \frac{-a-(b+c) x^2}{\sqrt{1-x^2} \left (a+b x^2+c x^4\right )} \, dx}{c}\\ &=-\frac{\sin ^{-1}(x)}{c}-\frac{\int \left (\frac{-b-c+\frac{b^2-2 a c+b c}{\sqrt{b^2-4 a c}}}{\sqrt{1-x^2} \left (b-\sqrt{b^2-4 a c}+2 c x^2\right )}+\frac{-b-c-\frac{b^2-2 a c+b c}{\sqrt{b^2-4 a c}}}{\sqrt{1-x^2} \left (b+\sqrt{b^2-4 a c}+2 c x^2\right )}\right ) \, dx}{c}\\ &=-\frac{\sin ^{-1}(x)}{c}+\frac{\left (b+c-\frac{b^2-2 a c+b c}{\sqrt{b^2-4 a c}}\right ) \int \frac{1}{\sqrt{1-x^2} \left (b-\sqrt{b^2-4 a c}+2 c x^2\right )} \, dx}{c}+\frac{\left (b+c+\frac{b^2-2 a c+b c}{\sqrt{b^2-4 a c}}\right ) \int \frac{1}{\sqrt{1-x^2} \left (b+\sqrt{b^2-4 a c}+2 c x^2\right )} \, dx}{c}\\ &=-\frac{\sin ^{-1}(x)}{c}+\frac{\left (b+c-\frac{b^2-2 a c+b c}{\sqrt{b^2-4 a c}}\right ) \operatorname{Subst}\left (\int \frac{1}{b-\sqrt{b^2-4 a c}-\left (-b-2 c+\sqrt{b^2-4 a c}\right ) x^2} \, dx,x,\frac{x}{\sqrt{1-x^2}}\right )}{c}+\frac{\left (b+c+\frac{b^2-2 a c+b c}{\sqrt{b^2-4 a c}}\right ) \operatorname{Subst}\left (\int \frac{1}{b+\sqrt{b^2-4 a c}-\left (-b-2 c-\sqrt{b^2-4 a c}\right ) x^2} \, dx,x,\frac{x}{\sqrt{1-x^2}}\right )}{c}\\ &=-\frac{\sin ^{-1}(x)}{c}+\frac{\left (b+c-\frac{b^2-2 a c+b c}{\sqrt{b^2-4 a c}}\right ) \tan ^{-1}\left (\frac{\sqrt{b+2 c-\sqrt{b^2-4 a c}} x}{\sqrt{b-\sqrt{b^2-4 a c}} \sqrt{1-x^2}}\right )}{c \sqrt{b-\sqrt{b^2-4 a c}} \sqrt{b+2 c-\sqrt{b^2-4 a c}}}+\frac{\left (b+c+\frac{b^2-2 a c+b c}{\sqrt{b^2-4 a c}}\right ) \tan ^{-1}\left (\frac{\sqrt{b+2 c+\sqrt{b^2-4 a c}} x}{\sqrt{b+\sqrt{b^2-4 a c}} \sqrt{1-x^2}}\right )}{c \sqrt{b+\sqrt{b^2-4 a c}} \sqrt{b+2 c+\sqrt{b^2-4 a c}}}\\ \end{align*}
Mathematica [B] time = 6.14809, size = 7543, normalized size = 28.68 \[ \text{Result too large to show} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [C] time = 0.02, size = 175, normalized size = 0.7 \begin{align*} -{\frac{1}{4\,c}\sum _{{\it \_R}={\it RootOf} \left ( a{{\it \_Z}}^{8}+ \left ( 4\,a+4\,b \right ){{\it \_Z}}^{6}+ \left ( 6\,a+8\,b+16\,c \right ){{\it \_Z}}^{4}+ \left ( 4\,a+4\,b \right ){{\it \_Z}}^{2}+a \right ) }{\frac{{{\it \_R}}^{6}a+ \left ( 4\,c+3\,a+4\,b \right ){{\it \_R}}^{4}+ \left ( 4\,c+3\,a+4\,b \right ){{\it \_R}}^{2}+a}{{{\it \_R}}^{7}a+3\,{{\it \_R}}^{5}a+3\,{{\it \_R}}^{5}b+3\,{{\it \_R}}^{3}a+4\,{{\it \_R}}^{3}b+8\,{{\it \_R}}^{3}c+{\it \_R}\,a+{\it \_R}\,b}\ln \left ({\frac{1}{x} \left ( \sqrt{-{x}^{2}+1}-1 \right ) }-{\it \_R} \right ) }}+2\,{\frac{1}{c}\arctan \left ({\frac{\sqrt{-{x}^{2}+1}-1}{x}} \right ) } \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{\sqrt{-x^{2} + 1} x^{2}}{c x^{4} + b x^{2} + a}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] time = 5.62704, size = 2969, normalized size = 11.29 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{x^{2} \sqrt{- \left (x - 1\right ) \left (x + 1\right )}}{a + b x^{2} + c x^{4}}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]